:: Int -> CInt -package:LambdaHack package:type-map